machine-state grammar

机器状态文法